theorem machine prove
[计] 定理机器证明
热门查询
- disagreement n. 不一致；争论；意见不同
- theodore n. 希欧多尔（男子名）
- interactional adj. 相互作用的
- wintertime n. 冬季
- coliseum n. 竞技场；大剧场；大体育馆（等于colosseum）
- motorman n. 司机
- yellowtail n. 一种鲱 n. (Yellowtail)人名；(英)耶洛泰尔
- teardrop n. 泪珠；泪珠状物 adj. 泪珠状的
- smartly adv. 刺痛地；漂亮地；潇洒地；火辣辣地
- opposition n. 反对；反对派；在野党；敌对
- argos n. 阿哥斯（希腊东南一古城）
- kidskin n. 小山羊皮
- joyfulness n. 快乐
- felicity n. 幸福；快乐；幸运 n. (Felicity)人名；(英)费利西蒂，费莉西蒂(女名)
- cisplatin n. 铂化合物，顺铂；顺氯氨铂
- delegation n. 代表团；授权；委托
- superego n. 超我；超自我
- divisiveness n. 分歧；不和
- crimean adj. 克里米亚半岛的
- advert vi. 注意；谈到 n. 广告 n. (Advert)人名；(法)阿德韦尔
考试词汇表
- dual cavity tire curing press
- dual cavity tyre curing press
- dual channel detection system
- dual channels of distribution
- dual column gas chromatograph
- dual frequency interferometer
- dual furnace thermal cracking
- dual independent may encoding
- dual manifold coextrusion die
- dual metal reforming catalyst
- dual mode traveling wave tube
- dual purpose tongue depressor
- dual raster television system
- dual simplex algorithm method
- dual slot mandrel type coiler
- dual vessel ammonia converter
- dual waveband infrared sensor
- dual wavelength doppler radar
- dual-column gas chromatograph
- dual-polarization oscillation
